finite coproduct